The Math Is Haunted
overreacted.io·1d·
Discuss: Hacker News, r/javascript, r/programming
📐Type Theory
A Periodic Table of System Design Principles
github.com·1d·
Discuss: Hacker News
🔄Concurrency
Formal specs as sets of behaviors
surfingcomplexity.blog·4d·
Discuss: Lobsters, Hacker News, Hacker News, r/programming
📐Type Theory
Playing with open source LLMs
alicegg.tech·2d·
Discuss: Hacker News
🧩WebAssembly
A Retrospective on Paradigms of AI Programming (2002)
norvig.com·3d·
Discuss: Hacker News
🧮Functional Programming
From XML to JSON to CBOR
cborbook.com·2d·
Discuss: Lobsters, Hacker News, Hacker News, r/programming
🧩WebAssembly
I Know When You're Vibe Coding
alexkondov.com·1d·
Discuss: Hacker News, Hacker News, r/programming
💻programming
500 virtual Linux devices on ARM 64
underjord.io·1d
⚙️Systems Programming
2000 words about arrays and tables
buttondown.com·21h·
Discuss: Lobsters, Hacker News
🧮Functional Programming
Coverage.py regex pragmas
nedbatchelder.com·2d·
Discuss: Lobsters, Hacker News
🚀JIT Compilation
OpenAI: Introducing study mode
simonwillison.net·1d
🤖ai
Linux 6.17 Now Makes Multi-Core/SMP Support Unconditional
phoronix.com·1d
⚙️Systems Programming
Linux Fu: The Cheap Macropad Conundrum
hackaday.com·20h
⚙️Systems Programming
Six Principles for Production AI Agents
app.build·2d·
Discuss: Hacker News
🤖ai
Poor child process management in Rust terminal apps leads to terminal corruption
fiveonefour.com·1d·
Discuss: Hacker News
⚡Zig
SensorLM: Learning the language of wearable sensors
research.google·2d·
Discuss: Hacker News, Hacker News
⚙LLVM
clj-coll: Clojure collections and sequences in Common Lisp
github.com·4d·
Discuss: Lobsters, Hacker News
🧮Functional Programming
ACM Transitions to Full Open Access
acm.org·1d·
Discuss: Hacker News
🔒Cryptography
Launch HN: Lucidic (YC W25) – Debug, test, and evaluate AI agents in production
news.ycombinator.com·18h·
Discuss: Hacker News
🤖ai
Blog series on creating an OS in Rust
os.phil-opp.com·22h·
Discuss: Hacker News
⚡Zig